5

The provability logic for Σ1-interpolability

Year:
1993
Language:
english
File:
PDF, 1.73 MB
english, 1993
9

On Strong Provability Predicates and the Associated Modal Logics

Year:
1993
Language:
english
File:
PDF, 2.29 MB
english, 1993